Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
🧮Programming Language Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·23h·
Discuss: Hacker News
🧮Programming Language Theory
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
🧩Theorem Proving
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🧩Theorem Proving
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3h
🔐Cryptography
Hask Is Not a Category
math.andrej.com·1d·
Discuss: Hacker News
🔄Category Theory
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
399. Evaluate Division
dev.to·2d·
Discuss: DEV
🎯Constraint Programming
From Astrophysics to Applied Artificial Intelligence, Hilary Egan Charts a Creative Path Through Science
cleantechnica.com·4h
🤖Sci-Fi
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
🧩Theorem Proving
Machine learning by satisfiability solving
johndcook.com·14h
📈Complexity Theory
Looking to deepen my knowledge as a cs student
reddit.com·2d·
Discuss: r/compsci
🧮Programming Language Theory
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
🔧Compiler Design
Deriving Rope the Proper Way
nor-blog.pages.dev·10h·
Discuss: Hacker News
🔄Category Theory
The ONLY Data Science Roadmap You Need to Get a Job
towardsdatascience.com·17h
🎲Probabilistic Programming
🧭
deltaskelteradventure.bearblog.dev·7h
🧮Programming Language Theory
Constraint Catalog
sofdem.github.io·6h
🎯Constraint Programming
Deep Cogito goes big, releasing 4 new open source hybrid reasoning models with self-improving ‘intuition’
venturebeat.com·10h
🧫Cellular Automata